Beyond tool-specific machine descriptions

نویسنده

  • Andreas Fauth
چکیده

When developing software for embedded systems, the set of essential tools includes a compiler and an instruction set simulator. Since software and hardware are often designed in parallel, the tools must be easily adaptable to the changing target architecture. For the compiler, its back-end (the code generator) must be retargetable. Abstraction from the target machine is the key to an automated approach. Additionally , abstraction from tool-internal strategies permits the utilization of a uniied machine description for all tools. In this chapter, the machine description formalism nML is presented along with the retargetable code generator Cbc and the instruction set simulation environment Sigh/Sim.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Investigating the Effect of the Deep Cryogenic Heat Treatment on the Mechanical Properties and Corrosion Behavior of 1.2080 Tool Steel

Deep cryogenic heat treatment is assumed as a supplementary heat treatment performed on steels before the final tempering treatment to enhance the wear resistance and hardness of the steels. In this study, the effects of the deep cryogenic heat treatment on the wear behavior and corrosion resistance of the 1.2080 tool steel were studied using the wear testing machine and polarization and impeda...

متن کامل

Generating Logic Descriptions for the Automated Interpretation of Topographic Maps

Automating the interpretation of a map in order to locate some geographical objects and their relations is a challenging task, which goes beyond the transformation of map images into a vectorized representation and the recognition of symbols. In this work, we present an approach to the automated interpretation of vectorized topographic maps. It is based on the generation of logic descriptions o...

متن کامل

Optimum Swept Angle Estimation based on the Specific Cutting Energy in Milling AISI 1045 Steel Alloy

Mechanical machining processes are common manufacturing strategies to re-shape materials to desired specification. The mechanistic approach has revealed the mechanics of the machining processes with various parameters determined. The aim of this work is to investigate the impact of swept angle optimization and their influence on the specific cutting energy in milling AISI 1045 steel alloy. This...

متن کامل

A Corpus of Natural Multimodal Spatial Scene Descriptions

We present a corpus of multimodal spatial descriptions, as commonly occurring in route giving tasks. Participants provided natural spatial scene descriptions with speech and abstract deictic/iconic hand gestures. The scenes were composed of simple geometric objects. While the language denotes object shape and visual properties (e.g., colour), the abstract deictic gestures “placed” objects in ge...

متن کامل

SAGA-ML: An Active Learning System for Semiautomated Gameplay Analysis

We present SAGA-ML, an active learning system for blackbox software testing. In our approach, labelled examples are obtained by sampling from the space of initial system states and user actions, and then running the blackbox to obtain the labels. This training set is then used to learn a model of the system’s behaviour. Once a model has been learned, it is used to determine where further sampli...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994